181. Automated technology for verification and analysis
پدیدآورنده : Zhiming Liu, Anders P. Ravn (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2009
182. Automated technology for verification and analysis
پدیدآورنده : / Kedar S. Namjoshi ... [et al.] (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Automatic theorem proving--Congresses
رده :
QA
,
76
.
9
,.
A96
,
A82
,
2006
183. Automated technology for verification and analysis :
پدیدآورنده : Tevfik Bultan, Pao-Ann Hsiung (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2011
184. Automated technology for verification and analysis :
پدیدآورنده : Shuvendu K. Lahiri, Chao Wang (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A96
185. Automatic differentiation of algorithms :
پدیدآورنده : George Corliss, Christèle Faure, Andreas Griewank, Laurent Hascoët, Uwe Naumann, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Differential calculus -- Data processing -- Congresses.,Differential calculus -- Data processing.
رده :
QA304
.
G467
9999
186. Autonomic and trusted computin
پدیدآورنده : / Chunming Rong ... [et al.] (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Autonomic computing--Congresses,Computer security--Congresses,Computer networks--Security measures--Congresses
188. Balancing agility and formalism in software engineerin
پدیدآورنده : / Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Software engineering--Congresses,Computer software--Development--Congresses
189. Balancing agility and formalism in software engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;
190. Bidirectional transformations :
پدیدآورنده : Jeremy Gibbons, Perdita Stevens (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Transformations (Mathematics), Congresses.,Business & Economics-- Information Management.,Computer programming-- software development.,Computers-- Database Management-- General.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Databases.,Information architecture.,Software Engineering.,Transformations (Mathematics)
رده :
QA601
191. Big data, cloud computing, and data science engineering
پدیدآورنده : Roger Lee, editor
کتابخانه: (طهران)
موضوع : Congresses ، Big data,Congresses ، Cloud computing,Congresses ، Software engineering
رده :
QA
76
.
9
.
B45B533
192. Bioinspired models of network, information, and computing system
پدیدآورنده : / BIONETICS 2009, Avignon, France, December 9 - 11, 2009. Eitan Altman, Iacopo Carrera, Rachid El-Azouzi, Emma Hart, Yezekael Hayel (eds.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Network topology, swd,Autonomic computing, swd,Biocybernetics, swd,Delay Tolerant Network, swd,Software system, swd,Biological model, swd,Avignon <2009>, swd,Congress, swd,Bionics, Congresses,Biologically-inspired computing, Congresses,Computer science, Congresses,Computer networks, Congresses,Information technology, Congresses
193. Broadband communications, networks, and systems :
پدیدآورنده : Ioannis Tomkos ... [et al.] (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Broadband communication systems -- Congresses.,Computer. Automation.,software engineering.
194. Building the e-World ecosystem :
پدیدآورنده : Tomas Skersys ... [et al.] (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks, Congresses.,Electronic commerce, Congresses.,Information technology, Congresses.,Internet in public administration, Congresses.,World Wide Web, Congresses.
رده :
TK5105
.
5
.
I35
2011
195. Business Information Systems Workshops :
پدیدآورنده : Witold Abramowicz, Adrian Paschke (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Business-- Data processing, Congresses.,Management information systems, Congresses.,Business-- Data processing.,Management information systems.
رده :
T58
.
6
.
I58
2018eb
196. Business modeling and software design :
پدیدآورنده : Boris Shishkov (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Business -- Data processing -- Congresses.,Management information systems -- Congresses.,Software engineering -- Congresses.
رده :
T58
.
6
B675
2012
197. Business modeling and software design / :
پدیدآورنده : Boris Shishkov (Ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Business-- Data processing, Congresses.,Management information systems, Congresses.,Software architecture, Congresses.,Business-- Data processing.,Management information systems.,Software architecture.
رده :
T58
.
6
198. Business process model and notation :
پدیدآورنده : Remco Dijkman, Jörg Hofstetter, Jana Koehler (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Business-- Data processing, Congresses.,Business-- Mathematical models, Congresses.,Management information systems, Congresses.,Process control-- Data processing-- Management, Congresses.,Workflow-- Data processing, Congresses.
رده :
TS156
.
8
.
B87
2011
199. COTS-based software systems : First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002 : proceedings
پدیدآورنده : John Dean, Andree Gravel )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2255
200. COTS-based software systems :second international conference, ICCBSS 2003, Ottawa, Ont., February 10-13, 2003 : proceedings
پدیدآورنده : Hakan Erdogmus, Tao Weng )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2580
